alpha(h) == F.fmap(h, fa);
